Pernot H. Grammaire grecque moderne avec une introduction et des index

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Construction du lexique LGLex à partir des tables du Lexique-Grammaire des verbes du grec moderne

Résumé Dans cet article, nous dressons un bilan du travail effectué sur les ressources du grec moderne concernant le Lexique-Grammaire des verbes. Nous détaillons les propriétés définitoires de chaque table, ainsi que l'ensemble des changements effectués sur les intitulés de propriétés afin de les rendre cohérents. Grâce à l'élaboration de la table des classes, regroupant l'ensemble des proprié...

Introduction a l'etude de salmonella et des salmonelloses en Iran

L'Idee De Grammaire Avec Le Contexte Naturel

Commonly used gralm~mrs which describe i~turai lan~uages /ex. ATN, Metamorphosis Grammars/ can be hardly applied in describing higly inflectional languages. So I propose a grammar called the grammar with natural context which takes into consideration properties of higly inflectional languages /ex. Polish / as well as structural languages /ex. English/. I introduce its normal form.

Vers une modélisation et une analyse des exigences spatio-temporelles

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for ...